The Ontological Innocence of Schematic Logic
نویسندگان
چکیده
منابع مشابه
On the Logic of the Ontological Argument∗
Saint Anselm of Canterbury offered several arguments for the existence of God. We examine the famous ontological argument in Proslogium ii. Many recent authors have interpreted this argument as a modal one.1 But we believe that Jonathan Barnes has argued persuasively that Anselm’s argument is not modal.2 Even if one were to construe the word ‘can’ in the definite description ‘that than which no...
متن کاملLogic and Ontological Pluralism
According to ontological pluralism, there are different modes of being — different ways to exist. The view has been thought dead for a long time, destroyed by the Quinean doctrine that to be is to be needed as the value of a variable bound by an existential quantifier. Announcements of its death were premature. Ontological pluralism is consistent with the Quinean doctrine if there are multiple ...
متن کاملTowards a Logic of the Ontological Dodecagon
Tarski’s semantics of predicate logic can be viewed as a correspondence theory of truth where predicate-logical statements are the truth-bearers and facts in the form of relation instances, which are based on the ontological assumption of three categories of things: individuals, relationships between individuals (aka relation instances) and relationship types (aka relations), are the truth-make...
متن کاملSchematic Validity in Dynamic Epistemic Logic: Decidability
Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. The classic example is Public Announcement Logic (PAL), an extension of epistemic logic based on the idea of information acquisition as elimination of possibilities. In this paper, we address the open question of whether the set of schematic validities of PAL, the set of formulas all of whose ...
متن کاملPosition Paper: Ontological Logic Programming
In this paper, we propose a novel approach that combines logic programming with ontological reasoning. The proposed approach enables the use of ontological terms directly within logic programs. We demonstrate the usefulness of the proposed approach using a case-study of sensor-task matchmaking.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2020
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2020.021